Quick hack to make sure that pirqs and interdomain event channels are
authorsos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Thu, 7 Jul 2005 09:27:25 +0000 (09:27 +0000)
committersos22@douglas.cl.cam.ac.uk <sos22@douglas.cl.cam.ac.uk>
Thu, 7 Jul 2005 09:27:25 +0000 (09:27 +0000)
commit59b2f965d41667a8407ad1a4f8b61aa20a1d2d47
tree22e7aa8655f9d2ac3748525e9bb0571e4020e7f5
parent6c35d14c034a086a41efd34be6eadfb4c4c9afce
Quick hack to make sure that pirqs and interdomain event channels are
all bound to vcpu0, rather vcpu0 99% of the time and an entirely
random otherwise.  This make sure things work nicely when you start
taking vcpus offline, since vcpu0 can't go offline; the correct
solution is to allow domains to change evtchn<->vcpu bindings.

Signed-off-by: Steven Smith, sos22@cl.cam.ac.uk
xen/common/event_channel.c